First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
481	CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Propositional calculus Proof theory Model theory Metalogic First-order logic Substitution Deduction theorem Interpretation Frege system Logic Mathematical logic Mathematics
482	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
483	Querying Schemas With Access Restrictions Michael Benedikt Pierre Bourhis Clemens Ley Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:30 Model theory Finite model theory Programming paradigms Conjunctive query Database theory FO Linear temporal logic Datalog First-order logic Theoretical computer science Mathematical logic Mathematics
484	Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:38 Logic Formal methods Constraint programming Logic in computer science Satisfiability Modulo Theories First-order logic Interpretation Theoretical computer science Mathematical logic Model theory
485	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
486	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
487	Elementarily Equivalent Structures for Topological Languages over Regions in Euclidean Space Ernest Davis∗ Dept. of Computer Science New York University [removed] Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-06-01 15:13:57 Mathematical logic Symbol Constructible universe Interpretation First-order logic Orbifold Root system Logic Model theory Mathematics
488	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics
489	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
490	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 09:26:50 Lisp programming language Functional languages Procedural programming languages ACL2 Formal methods Automated theorem proving First-order logic Recursion Lisp Computer programming Software engineering Computing

UPDATE